Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
61	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 123–141 http://www.cssp.cnrs.fr/eiss8 Expressive Modifiers & Mixed Expressives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:18 Logic Abstraction Philosophy Philosophy of language Formal languages Grammar Type theory Model theory Proposition Meaning Musical argument Intensifier
62	No complete linear term rewriting system for propositional logic Anupam Das and Lutz Straßburger Abstract Recently it has been observed that the set of all sound linear inference rules in propositional Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2015-03-23 07:14:32 Mathematics Logic Mathematical logic Boolean algebra Formal languages Semantics Algebraic logic Logic in computer science Substitution Propositional calculus Rewriting Negation
63	Expressive Logical Combinators for Free Pierre Genevès (CNRS) Joint work with Alan Schmitt (Inria) IJCAI, July 30th 2015, Buenos Aires Add to Reading List Source URL: tyrex.inria.fr Language: English - Date: 2015-07-29 15:55:34 Logic Theoretical computer science Logic in computer science Mathematics Lambda calculus Formal languages Mathematical logic Syntax Combinatory logic FO Well-formed formula Logic programming
64	Developing an ATC Grammar using the Review of the Cushing Grammar in the pro ject seminar Computational Natural Language Systems RVS, Faculty of Technology, University of Bielefeld Add to Reading List Source URL: www.rvs.uni-bielefeld.de Language: English - Date: 2001-06-26 08:55:20 Formal languages Compiler construction Software engineering Language Software Extended BackusNaur form Parsing Syntax Context-free grammar Formal grammar Terminal and nonterminal symbols Grammar
65	CONSENSUS GAME ACCEPTORS AND ITERATED TRANSDUCTIONS DIETMAR BERWANGER AND MARIE VAN DEN BOGAARD LSV, CNRS and Universit´e Paris-Saclay, France Abstract. We study a game for recognising formal languages, in which Add to Reading List Source URL: www.lsv.fr Language: English - Date: 2016-04-22 06:06:50 Formal languages Symbol Context-sensitive grammar Determinacy Generalised Whitehead product
66	LBFO: toward an artificial language for ontology development Leonard F Jacuzzo National Center for Biomedical Ontology, Ontology Research Group, SUNY Center of Excellence in Bioinformatics Nature Precedings : doi:10.103 Add to Reading List Source URL: precedings.nature.com Language: English Information science Knowledge representation Ontology Logic Formal languages Philosophy Abstraction Upper ontology Basic Formal Ontology Well-formed formula Formal ontology Symbol
67	The Uncertainty of Identity Toolset: Analysing Digital Traces for User Profiling Muhammad Adnan Antonio Lima Add to Reading List Source URL: www.uncertaintyofidentity.com Language: English - Date: 2014-09-01 07:36:39 Computing Software String computer science) Formal languages Arrays Suffix tree Surname Substring Suffix array Gmail Email address String
68	Encoding Monomorphic and Polymorphic Types Jasmin Christian Blanchette1 , Sascha Böhme1 , Andrei Popescu1 , and Nicholas Smallbone2 1 2 Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic Mathematical logic Mathematics Automated theorem proving Logic programming Model theory Formal languages Type theory Unification Structure Substitution Symbol
69	David Ljung Madison Stellar Programming, Algorithm Design, VLSI / CPU Verification Accomplishing the impossible, on a deadline Career Summary Accomplished problem solver who can create new solutions Add to Reading List Source URL: davesource.com Language: English - Date: 2016-08-17 01:14:20 Electronic design automation Software engineering Computing Hardware verification languages Hardware description languages Verilog Perl Formal verification Programming tool Post-silicon validation Computer E
70	An Algorithm for Differential File Comparison J. W. Hunt Department of Electrical Engineering, Stanford University, Stanford, California M. D. McIlroy Bell Laboratories, Murray Hill, New Jersey 07974 Add to Reading List Source URL: www.cs.dartmouth.edu Language: English - Date: 2013-02-15 00:09:52 Mathematics Dynamic programming Combinatorics Discrete mathematics Formal languages Data differencing HuntMcIlroy algorithm Longest increasing subsequence Longest common subsequence problem Subsequence Diff utility Data comparison